Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2

Source URL: pages.di.unipi.it

• Symbol
• Constructible universe

Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2

Source URL: www.cs.purdue.edu

• Finite automata
• Levenshtein distance
• Linguistics
• Theoretical computer science
• Finite-state transducer
• Mathematics
• Nested stack automaton

Author2Vec: Learning Author Representations by Combining Content and Link Information Ganesh J1 Soumyajit Ganguly1 Manish Gupta1,2 Vasudeva Varma1 Vikram Pudi1 1 IIIT, Hyderabad, India, {ganesh.j, soumyajit.ganguly}@res

Source URL: gdac.uqam.ca

• Mathematics
• Computational neuroscience
• Machine learning
• Applied mathematics
• Artificial neural networks
• Feature learning
• Deep learning
• Outline of machine learning
• Mutual information
• Embedding
• Neural network

NuCypher KMS: 탈중앙화 키 관리 시스템 Michael Egorov[1] and MacLane Wilkison[2] NuCypher David Nuñez‡ NICS Lab, Universidad de Málaga, Spain (Dated: December 21, 2017)

Source URL: www.nucypher.com

Characterizing and Subsetting Big Data Workloads Zhen Jia1,2 , Jianfeng Zhan 1 1*

Source URL: prof.ict.ac.cn

• Computing
• Big data
• Computer architecture
• Hadoop
• Cloud infrastructure
• Central processing unit
• Computer memory
• Apache Software Foundation
• Translation lookaside buffer
• CPU cache
• Vertica
• Apache Hadoop

WHITE PAPER Content Introduction ............................................................................................................ 2 1. Overview of Current Exchange Systems ..................................

Source URL: bexam.io

• Cryptocurrencies
• Blockchains
• Alternative currencies
• Concurrent computing
• Distributed computing
• Computing
• Bitcoin
• Cross-platform software
• NEM
• Ethereum
• Draft:Nihilo Blockchain Introduction
• Draft:Tron.network

Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization Mathias Lecuyer∗1 , Riley Spahn∗1 , Roxana Geambasu1 , Tzu-Kuo Huang†2 , and Siddhartha Sen3 1 Columbia University, 2 Uber Advanced Tec

Source URL: www.ieee-security.org

• Information
• Data management
• Computing
• Cryptography
• Big data
• Technology forecasting
• Transaction processing
• Differential Privacy
• Data retention
• Internet privacy
• Geographic information system
• Privacy

NetChain: Scale-Free Sub-RTT Coordination Xin Jin1 , Xiaozhou Li2 , Haoyu Zhang3 , Nate Foster2,4 , Jeongkeun Lee2 , Robert Soul´e2,5 , Changhoon Kim2 , Ion Stoica6 1 Johns Hopkins University, 2 Barefoot Networks, 3 Pr

Source URL: www.cs.jhu.edu

• Information and communications technology
• Computing
• Ethernet
• Internet architecture
• Computer network
• Telecommunications engineering
• Network switch
• Low latency
• Routing
• Node
• Replication
• Information Age

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2

Source URL: www.kestrel.edu

• Knowledge representation
• Memory management
• Tree
• Mutator
• Garbage collection
• Computing
• Automatic memory management
• Information science
• Software engineering